recursive relations